Towards more adequate EIS
نویسندگان
چکیده
منابع مشابه
Towards Requirements for More Adequate Software Tools That Support Both: Learning and Doing Statistics
Our notion of introductory statistics education is not restricted to college and university levels but also comprises the secondary level. Here the teaching of "stochastics" within mathematics education in schools and the teaching of data analysis in other school subjects is included as well. What kinds of computer software do we need to support introductory statistics education? If we browse t...
متن کاملTowards A More Physically Adequate Definition of Randomness: A Topological Approach
Kolmogorov-Martin-Löf definition describes a random sequence as a sequence which satisfies all the laws of probability. This notion formalizes the intuitive physical idea that if an event has a probability 0, then this event cannot occur. Physicists, however, also believe that if an event has a very small probability, then it cannot occur. In our previous papers, we proposed a modification of t...
متن کاملCity Planning Approach for Rebuilding Enterprise Information Systems: The Move towards a More Effective EIS City Planning Approach
ii Acknowledgements I would like to express my sincere gratitude to Professor Junichi Iijima, whose insightful advice and guidance have been indispensable throughout my period of study at Tokyo Institute of Technology. Thanks are also due to the other members of my thesis committee—Professors Motoshi Saeki, Norihiro Nakai, Kunihiro Higa Dai Senoo, and Hiroyuki Umemuro—who have offered valuable ...
متن کاملTowards Adequate Knowledge and Natural Inference
Our approach to mind-design derives from the view of language as a mirror of mind – a view compatible with the linguistic orientation of the Turing Test, and more concretely, with the remarkably tight coupling between linguistic structure and semantic entailment demonstrated by Richard Montague. Additional evidence for the power of this perspective comes from recent work in Natural Logic (NLog)...
متن کاملTowards an Adequate Notion of Observation
One can attempt to solve the problem of establishing the correctness of some software w.r.t. a formal speciication at the semantical level. For this purpose, the semantics of an algebraic speciication should be the class of all algebras which correspond to the correct realizations of the speciication. We approach this goal by deening an observational satisfaction relation which is less restrict...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2007
ISSN: 0167-6423
DOI: 10.1016/j.scico.2006.09.002